Elon Musk's Mars colony would have a horde of mining robots

If it wasn't already clear that Elon Musk has considered virtually every aspect of what it would take to colonize Mars, it is now. As part of his Reddit AMA session, the SpaceX founder has revealed that his vision of a permanent colony would entail a...